Rrframe(${\it loc}$; $x$; $L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr inr inr inr inr inr inr inr inr inr $<$${\it loc}$, $x$, $L$$>$